\begin{tabbing}
$\forall$\=${\it poss}$:(ES\{i\}$\rightarrow\mathbb{P}$\{i'\}), $R$:(possible{-}event\{i:l\}(${\it poss}$)$\rightarrow$possible{-}event\{i:l\}(${\it poss}$)$\rightarrow\mathbb{P}$\{i'\}),\+
\\[0ex]$P$:(possible{-}event\{i:l\}(${\it poss}$)$\rightarrow\mathbb{P}$\{i'\}).
\-\\[0ex]($\forall$$e$:possible{-}event\{i:l\}(${\it poss}$). $P$($e$))
\\[0ex]$\Rightarrow$ ($\forall$$e$:possible{-}event\{i:l\}(${\it poss}$). es{-}knows\{i:l\}(${\it poss}$; $R$; $P$; $e$))
\end{tabbing}